-
1 Strachey, Christopher
SUBJECT AREA: Electronics and information technology[br]b. 16 November 1916 Englandd. 18 May 1975 Oxford, England[br]English physicist and computer engineer who proposed time-sharing as a more efficient means of using a mainframe computer.[br]After education at Gresham's School, London, Strachey went to King's College, Cambridge, where he completed an MA. In 1937 he took up a post as a physicist at the Standard Telephone and Cable Company, then during the Second World War he was involved in radar research. In 1944 he became an assistant master at St Edmunds School, Canterbury, moving to Harrow School in 1948. Another change of career in 1951 saw him working as a Technical Officer with the National Research and Development Corporation, where he was involved in computer software and hardware design. From 1958 until 1962 he was an independent consultant in computer design, and during this time (1959) he realized that as mainframe computers were by then much faster than their human operators, their efficiency could be significantly increased by "time-sharing" the tasks of several operators in rapid succession. Strachey made many contributions to computer technology, being variously involved in the design of the Manchester University MkI, Elliot and Ferranti Pegasus computers. In 1962 he joined Cambridge University Mathematics Laboratory as a senior research fellow at Churchill College and helped to develop the programming language CPL. After a brief period as Visiting Lecturer at the Massachusetts Institute of Technology, he returned to the UK in 1966 as Reader in Computation and Fellow of Wolfeon College, Oxford, to establish a programming research group. He remained there until his death.[br]Principal Honours and DistinctionsDistinguished Fellow of the British Computer Society 1972.Bibliography1961, with M.R.Wilkes, "Some proposals for improving the efficiency of Algol 60", Communications of the ACM 4:488.1966, "Systems analysis and programming", Scientific American 25:112. 1976, with R.E.Milne, A Theory of Programming Language Semantics.Further ReadingJ.Alton, 1980, Catalogue of the Papers of C. Strachey 1916–1975.M.Campbell-Kelly, 1985, "Christopher Strachey 1916–1975. A biographical note", Annals of the History of Computing 7:19.M.R.Williams, 1985, A History of Computing Technology, London: Prentice-Hall.KF
См. также в других словарях:
semantics — semanticist /si man teuh sist/, semantician /see man tish euhn/, n. /si man tiks/, n. (used with a sing. v.) 1. Ling. a. the study of meaning. b. the study of linguistic development by classifying and examining changes in meaning and form. 2.… … Universalium
Denotational semantics — In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach to formalizing the meanings of programming languages by constructing mathematical objects (called denotations)… … Wikipedia
Kripke semantics — (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non classical logic systems created in the late 1950s and early 1960s by Saul Kripke. It was first made for modal… … Wikipedia
Cognitive semantics — is part of the cognitive linguistics movement. The main tenets of cognitive semantics are, first, that grammar is conceptualisation; second, that conceptual structure is embodied and motivated by usage; and third, that the ability to use language … Wikipedia
Statistical semantics — is the study of how the statistical patterns of human word usage can be used to figure out what people mean, at least to a level sufficient for information access (Furnas, 2006). How can we figure out what words mean, simply by looking at… … Wikipedia
Language-independent specification — A language independent specification (LIS) is a programming language specification providing a common interface usable for defining semantics applicable toward arbitrary language bindings; in other words, LISs are language agnostic. LISs also… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
linguistics — /ling gwis tiks/, n. (used with a sing. v.) the science of language, including phonetics, phonology, morphology, syntax, semantics, pragmatics, and historical linguistics. [1850 55; see LINGUISTIC, ICS] * * * Study of the nature and structure of… … Universalium
HEBREW GRAMMAR — The following entry is divided into two sections: an Introduction for the non specialist and (II) a detailed survey. [i] HEBREW GRAMMAR: AN INTRODUCTION There are four main phases in the history of the Hebrew language: the biblical or classical,… … Encyclopedia of Judaism
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
realism — /ree euh liz euhm/, n. 1. interest in or concern for the actual or real, as distinguished from the abstract, speculative, etc. 2. the tendency to view or represent things as they really are. 3. Fine Arts. a. treatment of forms, colors, space, etc … Universalium
